$\forall$${\it the\_w}$:World, $e$:E. $\neg$($\uparrow$isnull(act($e$)))